Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
991	Tuesday, Jan. 20, 2015, 6:30 p.m. Policy Committee Meeting Minutes USC Community House (Hoover St. and 28th StS. Hoover St. Los Angeles, CAWelcome and Call to Order. Brett Shears and Christine Lee. 2. P Add to Reading List Source URL: www.nandc.org Language: English - Date: 2015-04-06 23:01:31 Social philosophy Action Action theory Philosophy of science
992	On hereditary coreflective subcategories of Top Martin Sleziak () Department of Algebra and Number Theory, FMFI UK, Mlynsk´ a dolina, Bratislava, Slovakia Abstract. Let A be a topological spa Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2005-09-13 11:35:57 Alexandrov topology Quotient space Sequential space Disjoint union Net Topological space Continuous function Ordinal number Order topology Topology General topology Subspace topology
993	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
994	Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order Polymorphism Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:07 Mathematics Computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Parametricity Logic Type theory Proof theory Logic in computer science
995	The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Philosophical logic Logic in computer science Game semantics Game theory Quantification Temporal logic First-order logic Logic Mathematical logic Mathematics
996	Nexus Authorization Logic (NAL): Design Rationale and Applications ¨ SIRER, Cornell University FRED B. SCHNEIDER, KEVIN WALSH, and EMIN GUN Nexus Authorization Logic (NAL) provides a principled basis for specifying and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-20 15:34:11 Metalogic Mathematical logic First-order logic Predicate logic Well-formed formula Logic programming Interpretation Logic Model theory Formal languages
997	1BC2: A True First-Order Bayesian Classiﬁer Nicolas Lachiche1 and Peter A. Flach2 1 2 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:04:32 Probability and statistics Probability distribution Event Naive Bayes classifier Markov processes Statistics Probability theory Bayesian statistics
998	Object-Level Ranking: Bringing Order to Web Objects Zaiqing Nie1 Yuanzhi Zhang2∗ 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-03-09 22:40:07 Object-oriented programming Crowdsourcing PageRank Reputation management Search engine optimization Graph theory Object Google Search Graph Software engineering Computing Computer programming
999	15102-200605EXTHALFMFL01.xls Add to Reading List Source URL: www.sea.com.au Language: English - Date: 2008-11-27 05:17:39 General topology Filter Order theory
1000	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic